@article{432,
 author = {Venturini Zilli, Marisa},
 title = "{Reduction Graphs in the Lambda Calculus}",
 journal = {Theoretical Computer Science},
 volume = {29},
 number = {3},
 year = {1984},
 issn = {0304-3975},
 pages = {251--275},
 doi = {http://dx.doi.org/10.1016/0304-3975(84)90002-1},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
}

@article{VenturiniZilli1984251,
title = "{Reduction Graphs in the Lambda Calculus}",
journal = "Theoretical Computer Science",
volume = "29",
number = "3",
pages = "251 - 275",
year = "1984",
note = "",
issn = "0304-3975",
doi = "DOI: 10.1016/0304-3975(84)90002-1",
url = "http://www.sciencedirect.com/science/article/B6V1G-45FCDCR-17/2/17149e8ddc10e627f04ca6701a452a2a",
author = "Marissa Venturini Zilli"
}

@Book{Trudeau1994,
    title = "{Introduction to Graph Theory}",
    author = {Richard J. Trudeau},
    publisher = {Courier Dover Publications},
    year = {1994},
    isbn = {0486678709}
}

@Book{Zelle2004,
    title = "{Python Programming: An Introduction to Computer Science}",
    author = {John M. Zelle},
    publisher = {Franklin, Beedle & Associates, Inc.},
    year = {2004},
    isbn = {1887902996}
}

@MISC{Sestoft96standardml,
    author = {Peter Sestoft},
    title = "{Standard ML on the Web Server: Visualizing Lambda Calculus Reduction}",
    institution = {Department of Mathematics and Physics, Royal Veterinary and Agricultural University},
    location = {Denmark},
    year = {1996}
}

@MISC{visual-lambda,
    author = {Peter Sestoft},
    title = "{Visual Lambda}",
    year = {2010, Apr 27, 16:55}
}

@article{DBLP:journals/entcs/RuizV09,
  author    = {David Ruiz and
               Mateu Villaret},
  title     = "{TILC: The Interactive Lambda-Calculus Tracer}",
  journal   = {Electronic Notes in Theoretical Computer Science},
  volume    = {248},
  year      = {2009},
  pages     = {173-183},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2009.07.067},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{Citrin+Hall+Zorn+1995a,
  author =       {Wayne Citrin and Richard Hall and Benjamin Zorn},
  title =        "{A Visual Lambda Calculus}",
  institution =  {Department of Computer Science, University of Colorado},
  type =         {Technical Report},
  number =       {CU-CS-757-94},
  month =        jan,
  year =         {1995}
}

@inproceedings{DBLP:conf/birthday/Sestoft02,
  author    = {Peter Sestoft},
  title     = "{Demonstrating Lambda Calculus Reduction}",
  booktitle = "{The Essence of Computation}",
  year      = {2002},
  pages     = {420-435},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2566/25660420.htm},
  crossref  = {DBLP:conf/birthday/2002jones},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{297368,
 author = {Intrigila, B. and Zilli, M. Venturini},
 title = "{Orders, Reduction Graphs and Spectra}",
 journal = {Theoretical Computer Science},
 volume = {212},
 number = {1-2},
 year = {1999},
 issn = {0304-3975},
 pages = {211--231},
 doi = {http://dx.doi.org/10.1016/S0304-3975(98)00141-8},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 }

@proceedings{DBLP:conf/birthday/2002jones,
  editor    = {Torben {\AE}. Mogensen and
               David A. Schmidt and
               Ivan Hal Sudborough},
  title     = "{The Essence of Computation, Complexity, Analysis, Transformation.
               Essays Dedicated to Neil D. Jones [on occasion of his 60th
               birthday]}",
  booktitle = "{The Essence of Computation}",
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2566},
  year      = {2002},
  isbn      = {3-540-00326-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Barendregt,
author = { Barendregt, H. P. },
title = "{ The Lambda Calculus : Its Syntax and Semantics}",
isbn = { 0444875085},
publisher = { North-Holland Pub. },
year = {1984},
type = { Book }
}

@misc{Alligator,
  author = {Victor, Bret},
  title = "{Alligator Eggs -  A Puzzle Game}",
  TIMESTAMP = {2006.05.25},
  year = {2010, Apr 27, 16:55},
  howpublished = {\url{http://worrydream.com/AlligatorEggs/}}
}

@misc{AlligatorTool,
  author = {Strobl, Torsten},
  title = "{Alligator Eggs -  A Puzzle Game (Java Tool)}",
  year = {2010, Apr 27, 16:55},
  howpublished = {\url{http://www.youtube.com/results?search_query=alligator+eggs+lambda&search_type=&aq=f}}
}

@misc{lambdaAnimatorThyer,
  author = {Thyer, Mike},
  title = "{Lambda Animator}",
  year = {2010, Apr 27, 16:55},
  howpublished = {\url{http://thyer.name/lambda-animator/}}
}

@misc{AnimatedLambdaCalculusEvaluator,
  author = {Daniel van den Eijkel},
  title = "{Animated Lambda Calculus Evaluator}",
  year = {2010, Apr 27, 16:55},
  howpublished = {\url{http://substitut-fuer-feinmotorik.net/projects/animated-lambda-calculus-evaluator}}
}

@misc{YAPPS2,
  author = {Amit Patel},
  title = "{YAPPS2 (Yet Another Python Parser System)}",
  year = {2010, Apr 27, 16:55},
  howpublished = {\url{http://theory.stanford.edu/~amitp/yapps/}}
}

@misc{pythonParserGeneratorList,
  author = {wiki.python.org},
  title = "{List of Python Parser Generators}",
  year = {2010, Apr 27, 16:55},
  howpublished = {\url{http://wiki.python.org/moin/LanguageParsing}}
}


@article{KleeneRosser1935,
 title = "{The Inconsistency of Certain Formal Logics}",
 author = {Kleene, S. C. and Rosser, J. B.},
 journal = {The Annals of Mathematics},
 volume = {36},
 number = {3},
 series = {Second Series},
 pages = {630--636},
 url = {http://www.jstor.org/stable/1968646},
 ISSN = {0003486X},
 abstract = {},
 language = {},
 year = {1935},
 publisher = {Annals of Mathematics},    
 copyright = {Copyright Â© 1935 Annals of Mathematics}
}

@article{Church1932,
     title = "{A Set of Postulates for the Foundation of Logic}",
     author = {Church, Alonzo},
     journal = {The Annals of Mathematics},
     volume = {33},
     number = {2},
     series = {Second Series},
     pages = {346--366},
     url = {http://www.jstor.org/stable/1968337},
     ISSN = {0003486X},
     abstract = {},
     language = {},
     year = {1932},
     publisher = {Annals of Mathematics},    
     copyright = {Copyright Â© 1932 Annals of Mathematics}
    }

@article{Church1936,
     title = "{An Unsolvable Problem of Elementary Number Theory}",
     author = {Church, Alonzo},
     journal = {American Journal of Mathematics},
     volume = {58},
     number = {2},
     pages = {345--363},
     url = {http://www.jstor.org/stable/2371045},
     ISSN = {00029327},
     abstract = {},
     language = {},
     year = {1936},
     publisher = {The Johns Hopkins University Press},    
     copyright = {Copyright © 1936 The Johns Hopkins University Press}
}

@article{Church1940,
     title = "{A Formulation of the Simple Theory of Types}",
     author = {Church, Alonzo},
     journal = {The Journal of Symbolic Logic},
     volume = {5},
     number = {2},
     pages = {56--68},
     url = {http://www.jstor.org/stable/2266170},
     ISSN = {00224812},
     abstract = {},
     language = {},
     year = {1940},
     publisher = {Association for Symbolic Logic},    
     copyright = {Copyright © 1940 Association for Symbolic Logic}
}

@article{Turing1936,
    title = "{On Computable Numbers With an Application to the \latexignore{E}ntscheidungsproblem}",
    author = {Turing, Alan},
    journal = {Proceedings of the London Mathematical Society},
    number = {42},
    pages = {230-265},
    year = {1936}
}

@article{Turing1937,
    title = "{Computability and $\lambda$-definability}",
    author = {Turing, Alan},
    journal = {The Journal of Symbolic Logic},
    number = {2},
    pages = {153-163},
    year = {1937}
}

@article{Landin1965,
 author = {Landin, Peter J.},
 title = "{Correspondence Between ALGOL 60 and Church's Lambda-notation: Part I}",
 journal = {Communications of the ACM},
 volume = {8},
 number = {2},
 year = {1965},
 issn = {0001-0782},
 pages = {89--101},
 doi = {http://doi.acm.org/10.1145/363744.363749},
 publisher = {ACM},
 address = {New York, NY, USA}
}

@misc{GraphViz,
    howpublished = {\url{http://www.graphviz.org/}},
    year = {2010, June 1, 16:55}
}

@misc{NumPy,
    howpublished = {\url{http://www.numpy.org/}},
    year = {2010, June 6, 17:40}
}

@inproceedings{Seidel1992,
    author = {Seidel, Raimund},
    title = "{On the All-Pairs-Shortest-Path Problem}",
    booktitle = "{STOC '92: Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing}",
    year = {1992},
    isbn = {0-89791-511-9},
    pages = {745-749},
    location = {Victoria, British Columbia, Canada},
    publisher = {ACM},
    address = {New York, NY, USA}
}

@article{Church1936,
    author = {A. Church, J. B. Rosser},
    title = "{Properties of Conversion}",
    year = "1936",
    journal = "{Transactions of the American Mathematical Society}",
    volume = {39},
    number = {3},
    year = {May, 1936},
    pages = {472-482},
    howpublished = {\url{http://www.jstor.org/stable/1989762}},
    publisher = {American Mathematical Society}
}

@misc{OpenGL,
    howpublished = {\url{http://pyopengl.sourceforge.net/}},
    year = {2010, June 17, 12:20}
}

@misc{GraphML,
    howpublished = {\url{http://graphml.graphdrawing.org/}},
    year = {2010, June 17, 12:20}
}

@misc{GXL,
    howpublished = {\url{http://www.gupro.de/GXL/Introduction/background.html}},
    year = {2010, June 17, 12:20}
}

@misc{DOT,
    howpublished = {\url{http://www.graphviz.org/doc/info/lang.html}},
    year = {2010, June 17, 12:20}
}

@misc{XGMML,
    howpublished = {\url{http://www.cs.rpi.edu/~puninj/XGMML/}},
    year = {2010, June 17, 12:20}
}

@misc{PyGTK,
    howpublished = {\url{http://www.pygtk.org/}},
    year = {2010, June 17, 13:37}
}

# Diverse links der kan være interessante:

# http://mathgate.info/cebrown/notes/barendregt.php#3
# http://en.wikipedia.org/wiki/Graph_drawing
# http://graphml.graphdrawing.org/
# http://www.gupro.de/GXL/
# http://en.wikipedia.org/wiki/DOT_language